Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †

Automatic Addition of Fault-Tolerance to Real-Time Programs

In this paper, we focus on automated addition of fault-tolerance to an existing fault-intolerant realtime program. We consider three levels of fault-tolerance, failsafe, nonmasking, and masking, based on the properties satisfied in the presence of faults. Furthermore, for failsafe and masking fault-tolerance, we introduce two cases, soft and hard, based on satisfaction of timing constraints in ...

Automating the Addition of Fault-Tolerance

Automatic Synthesis of Fault-tolerance

AUTOMATIC SYNTHESIS OF FAULT-TOLERANCE By Ali Ebnenasir Fault-tolerance is an important property of today’s software systems as we rely on computers in our daily affairs (e.g., medical equipments, transportation systems, etc). Since it is difficult (if not impossible) to anticipate all classes of faults that perturb a program while designing that program, it is desirable to incrementally add fa...

Hierarchical Presynthesized Components for Automatic Addition of Fault-Tolerance: A Case Study

We present a case study of automatic addition of faulttolerance to distributed programs using presynthesized distributed components. Specifically, we extend the scope of automatic addition of fault-tolerance using presynthesized components to the case where we automatically add hierarchical components to fault-intolerant programs, whereas in our previous work, we have shown the addition of line...

determination of olanzapine and thiourea using electrodes modified by dna and film of copper-cobalt hexacyanoferrate & investigation of electro-oxidation of some catechol derivatives in the presence of 4-phenylsemicarbazid

چکیده هدف از این کار بررسی الکترواکسیداسیون کتکول و مشتقات آن در حضور 4-فنیل سمی کاربامازید بوده است اکسیداسیون کتکولها ترکیبات نا پایدار کینونها را تولید می کنند که این ترکیبات می تواند در واکنش مایکل بعنوان پذیرنده نوکلئوفیل عمل نمایند. در ادامه اکسایش کتکولهای (a-c1) را درحضور 4-فنیل سمی کاربامازید در محلول آب/استونیتریل (90/10)بوسیله ولتامتری چرخه ای و کولن متری در پتانسیل ثابت مورد بررسی ...